Nuprl Definition : IdLnk
11,40
postcript
pdf
IdLnk ==
:Id
(
:Id
Id)
latex
Definitions
x
:
A
B
(
x
)
,
Id
FDL editor aliases
IdLnk
origin
(:Id Id) (:Id Id) B(x)